#include <stdio.h>

int main(void)
{
	int yyyy = 0, mm = 0, dd = 0;
	scanf("%d-", &mm);
	scanf("%d-", &dd);
	scanf("%d", &yyyy);

	printf("%d-%02d-%02d", yyyy, mm, dd);

	return 0;
}